Jean goubault Programmation free download

File name programmation.pdf

Programmation Jean Goubault-Larrecq LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan 61 avenue du prґ sident-Wilson, F-94235 Cachan Cedex e [email protected] Phone: +33-1 47 40 75 68 Fax: +33-1 47 40 75 21 21 novembre 2003 Rґ sumґ e e Ce document sert de notes de cours pour le premier quart du cours de programmation du ґ magist` re STIC, ENS Cachan, edition 2003­2004. Il s'agit de la version 1, qui date du 02 e octobre 2003 (lecon 1), du 16 octobre 2003 (lecon 2), du 20 octobre 2003 (lecon 3), du 23 ё ё ё octobre 2003 (lecon 4). ё Table des mati` res e 1 Lecon 1 ё 1.1 Une br` ve introduction aux langages de programmation e 1.2 Quelques bases de thґ orie de l'ordre . . . . . . . . . . e 1.2.1 Points fixes et boucles . . . . . . . . . . . . . 1.2.2 Treillis complets et thґ or` me de Tarski . . . . e e 1.2.3 Cpos, fonctions Scott-continues . . . . . . . . 2 Lecon 2 ё 2.1 Langages impґ ratifs, le langage C . . . . . e 2.1.1 Affectations . . . . . . . . . . . . . 2.1.2 Tableaux, structures . . . . . . . . 2.1.3 Structures de contr^ le . . . . . . . o 2.2 Langages fonctionnels, le cas de mini-Caml . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 10 10 13 15 19 19 19 21 24 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Lecon 3 ё 32 3.1 Architecture et assembleur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.1.1 Mґ moires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 e 3.1.2 Le processeur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 1 4 Lecon 4 ё 4.1 Sґ mantique dґ notationnelle de mini-Caml . . . . . . e e 4.1.1 Quel genre de cpo nous faut-il ? . . . . . . . 4.1.2 Sґ mantique dґ notationnelle des expressions . e e 4.1.3 Sґ mantique dґ notationnelle des programmes e e 5 Lecon 5 ё 5.1 Sґ mantique opґ rationnelle grands pas de mini-Caml . . . . . . . . . e e 5.1.1 Cl^ tures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 5.1.2 Appel gauche-droite, par valeur, par nґ cessitґ , par rґ fґ rence . e e ee 5.1.3 Autres r` gles . . . . . . . . . . . . . . . . . . . . . . . . . . e 5.1.4 Sґ mantique opґ rationnelle des programmes . . . . . . . . . . e e 5.1.5 Arbres de dґ rivations, rґ currence sur les dґ rivations . . . . . e e e 5.1.6 R` gles dґ rivґ es . . . . . . . . . . . . . . . . . . . . . . . . . e e e ` 5.1.7 Correction de la sґ mantique concr` te par rapport a l'abstraite . e e A Guide de rґerence rapide de l'assembleur Pentium efґ Ў ў 3.2 3.1.3 Modes d'adressage et formats d'instructions . 3.1.4 Formalisation . . . . . . . . . . . . . . . . . La sґ mantique dґ notationnelle (de mini-Caml) . . . e e de Plotkin . . . . . 3.2.1 Domaines, le mod` le e . . . . . . . . . . . . . . . .